A method of proof in which a statement is proved for one step in a process, and it is shown that if the statement holds for that step, it holds for the next.